constructive existence proof

可构造存在证明